根据GB/T 11457-2006《软件工程术语》由某人、某小组或借助某种工具对源代码进行的独立的审查，以验证其是否符合软件设计文件和程序设计标准，称为( )。